Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions

نویسندگان

  • Daniel Bahrdt
  • Martin P. Seybold
چکیده

Each non-zero point in Rd identifies one closest point x on the unit sphere Sd−1. We are interested in computing an ε-approximation y ∈ Qd for x , that is exactly on Sd−1 and has low bit size. We revise lower bounds on rational approximations and provide explicit, spherical instances. We prove that floating-point numbers can only provide trivial solutions to the sphere equation in R2 and R3. Moreover, we show how to construct a rational point with denominators of at most 32(d − 1)2/ε2 for any given ε , improving on a previous result. The method further benefits from algorithms for simultaneous Diophantine approximation. Our open-source implementation and experiments demonstrate the practicality of our approach in the context of massive data sets geo-referenced by latitude and longitude values.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Rational Points on the Unit Sphere

The unit sphere, centered at the origin in R, has a dense set of points with rational coordinates. We give an elementary proof of this fact that includes explicit bounds on the complexity of the coordinates: for every point v on the unit sphere in R, and every > 0, there is a point r = (r1, r2, . . . , rn) such that: • ||r− v||∞ < . • r is also a point on the unit sphere; P r i = 1. • r has rat...

متن کامل

A free group acting without fixed points on the rational unit sphere

We prove the existence of a free group of rotations of rank 2 which acts on the rational unit sphere without non-trivial fixed points. Introduction. The purpose of this paper is to prove that the group SO3(Q) of all proper orthogonal 3 × 3 matrices with rational entries has a free subgroup F2 of rank 2 such that for all w ∈ F2 different from the identity and for all ~r ∈ S2 ∩Q3 we have w(~r ) 6...

متن کامل

Weighted quadrature formulas and approximation by zonal function networks on the sphere

Let q ≥ 1 be an integer, Sq be the unit sphere embedded in the Euclidean space Rq+1. A Zonal Function (ZF) network with an activation function φ : [−1, 1] → R and n neurons is a function on Sq of the form x 7→ nk=1 akφ(x · ξk), where ak’s are real numbers, ξk’s are points on Sq. We consider the activation functions φ for which the coefficients {φ̂(`)} in the appropriate ultraspherical polynomial...

متن کامل

Representation of a digitized surface by triangular faces

This paper proposes a triangulation method for a digitized surface whose points are located on a regular lattice. The method relies on an iterative and adaptive splitting of triangular faces of an initial polyhedral surface. Assuming a bijection between the digitized surface and its approximation, a partition of the data base is performed. The method allows the measurement of the local quality ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017